新しいプログラミング・パラダイム⑰ カテゴリカル・プログラミング